$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$. $i$ $\leq$z $j$ $\in$ $\mathbb{B}$